$\forall$${\it ds}$:$x$:Id fp$\rightarrow$ Type, ${\it da}$:$k$:Knd fp$\rightarrow$ Type, $k$:Knd, ${\it test}$:(State(${\it ds}$)$\rightarrow$Valtype(${\it da}$;$k$)$\rightarrow\mathbb{B}$).
\\[0ex]ecl{-}base{-}tuple($k$;${\it test}$) $\in$ ecl{-}trans{-}tuple\{i:l\}(${\it ds}$;${\it da}$)